docs: set date to SOURCE_DATE_EPOCH if available
authorMaximilian Engelhardt <maxi@daemonizer.de>
Fri, 18 Dec 2020 20:42:35 +0000 (21:42 +0100)
committerHans van Kranenburg <hans@knorrie.org>
Wed, 16 Nov 2022 11:50:33 +0000 (12:50 +0100)
commit51c8aa8e24e4f78a8b1cca366899d427efc32339
treef86b0b2357c14203b8a790cd88ffa4fdf1b2d1d4
parent5b2c19eaa0e7635cddf08b1e774492a833b8684e
docs: set date to SOURCE_DATE_EPOCH if available

Use the solution described in [1] to replace the call to the 'date'
command with a version that uses SOURCE_DATE_EPOCH if available. This
is needed for reproducible builds.

[1] https://reproducible-builds.org/docs/source-date-epoch/

Signed-off-by: Maximilian Engelhardt <maxi@daemonizer.de>
[Hans van Kranenburg]
Note: this patch is submitted upstream but not committed yet. We
expect that it gets in. Otherwise, we don't wait and already have it
here because I want to have the reproducible build work completed.
docs/Makefile